首页> 外文OA文献 >A unified approach to type theory through a refined $\lambda$-calculus

【2h】

A unified approach to type theory through a refined $\lambda$-calculus

机译：通过改进的$ \ lambda $-微积分对类型理论进行统一处理的方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kamareddine, F Fairouz; Nederpelt, RP Rob;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them [J] . CHITTA BARAL, JURAJ DZIFCAK, MARCOS A. GONZALEZ, Theory and Practice of Logic Programming . 2012,第PTa4a5期

机译：类型化答案集编程Lambda演算理论及其反Lambda算法的正确性
2. Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda [J] . Sebastián Urciuoli, álvaro Tasistro, Nora Szasz Electronic Notes in Theoretical Computer Science . 2020,第6期

机译：使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
3. Mechanized metatheory for a $$lambda $$ $λ$ -calculus with trust types [J] . Rodrigo Ribeiro, Lucília Figueiredo, Carlos Camar?o Brazilian Computer Society. Journal . 2013,第4期

机译：的机械化元理论 $$ lambda $$ $λ -演算$
4. Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing [C] . Gundersen Tom, Heijltjes Willem, Parigot Michel Annual ACM/IEEE Symposium on Logic in Computer Science . 2013

机译：原子Lambda演算：具有明确共享的类型化Lambda演算。
5. The Stochastic-Calculus Approach to Selected Topics in Information Theory [D] . Shende, Nirmal Vijay. 2019

机译：信息理论中所选主题的随机微积分方法
6. COVID-19 Sepsis: Pathogenesis and Endothelial Molecular Mechanisms Based on Two-Path Unifying Theory of Hemostasis and Endotheliopathy-Associated Vascular Microthrombotic Disease and Proposed Therapeutic Approach with Antimicrothrombotic Therapy [O] . Jae C Chang 2021

机译：Covid-19败血症：基于双径统一理论的止血和内皮病相关血管微生物疾病的发病机制和内皮分子机制并提出了抗微生物组织治疗的治疗方法
7. A unified approach to type theory through a refined λ-calculus [O] . Kamareddine Fairouz, Nederpelt Rob 1994

机译：通过改进的λ微积分对类型理论进行统一处理的方法
8. Unified Approach to Type Theory through a Refined lambda-Calculus [R] . Nederpelt, R., Kamareddine, F. 1992

机译：通过精化lambda-Calculus统一理论类型理论

A unified approach to type theory through a refined $\lambda$-calculus

著录项

引文网络

相似文献

相关主题

期刊订阅